Times Botからイベント機能を分離 -> いつDiscordイベントを作成する?
手動
コマンド
ボタン
Googleカレンダーを併用する
概要
1. 仮イベントを作成
2. 「Googleカレンダーに追加」
3. Googleカレンダーイベントが開始
4. WebhookでGoogleカレンダーイベントの開始を検知
5. Discordイベントを複製する
メリット
デメリット
ユーザーがGoogleカレンダーの操作を行う必要がある
Googleカレンダーを開くのが結構遅くてストレス
これをやるくらいなら、GoogleカレンダーイベントをDiscordに同期するほうがいいのでは
Googleカレンダーを併用する【2】
概要
1. Googleカレンダー上で1週間ごとの繰り返しイベントが開始
2. WebhookでGoogleカレンダーイベントの開始を検知
3. 翌週のDiscordイベントを作成する
感想
これなら1週間ごとに実行されるcronでDiscordイベントを作成すればいいのでは
1週間ごとに実行されるcronでDiscordイベントを作成する
概要
1週間ごとに、次の土曜日に「定例会」イベントをDiscordに作成する
作成時にはトークンが必要で、REST APIを直接叩くことになります
メリット
シンプル
Discord Gateway APIを使用する
概要
1. Discord ボットを起動する
2. Discordイベントが始まる
3. ボットはDiscordイベントの開始を検知
↓ のGateway Eventをlistenしておきます
Discordイベントが始まると、そのイベントの event_type が変更されます
4. イベントを複製する
デメリット
ボットを24時間動かす必要がある
Discord RPCを使用する
思いつきです、実用的ではないt6o_o6t.icon
概要
イベントを管理するメンバーを決めます
このメンバーは、定例会イベントが始まる前までには、かならずプログラムを起動しておきます
1. Discordイベントが始まる
2. RPCでイベント開始を検知する
3. 以降同様
メリット
ボットが必要ない
デメリット
RPC APIが現在 private beta(=使えない)